Simulação Numérica de Escoamento Eletroosmótico Usando o Modelo Constitutivo de Phan-Thien-Tanner

Simulação do escoamento monofásico em um estágio de uma bomba centrífuga utilizando técnicas de fluidodinâmica computacional

Usando CSP, RSL e o Modelo PopOrg na Especificação Formal de Organizações de SMAs

This paper explores the use of traditional formal methods of software engineering for the formal specification of multiagent systems organizations. In particular, the CSP and RSL languages are used to represent the PopOrg organizational model, the first being used to specify parts of the micro-organizational level of PopOrg systems (behaviors of organizational roles and exchange processes betwe...

Automação da Técnica de Inspeção Guiada Usando MDA e Simulação de Modelos

In a software development process, artifacts from a stage are used as input to create new artifacts on another. The transition between different artifacts may not be precise; inconsistencies may occur. These inconsistent artifacts may produce software with defects. In this context, a software inspection technique is needed to validate these artifacts. This paper presents a technique to automate...

Informação de Links no Modelo Vetorial Usando uma Estrutura Funcional

The Classical Models of Information Retrieval (IR) only consider the content-based information to retrieve relevant documents. The information is captured by comparing document keywords against the user query terms. Considering the Web, the structure of links among the documents (or pages) is a rich source of information that has not been used by the Classic Models. On the other hands, Bayesian...

Aplicacion Grafica para el estudio de un Modelo de Celda Electrolitica usando Tecnicas de Visualizacion de Campos Vectoriales

A A iv Deseo expresar mi más sincero agradecimiento a mi profesor patrocinante Sr. Ricardo Sánchez, especialmente por su motivación y paciencia.